Algebras as Types